Rules as Code
نویسندگان
چکیده
“Rules as Code” is a label adopted by people in governments working on the idea of encoding (or just marking up) legislation while it being drafted, so that logic resulting can be “read” (and checked) computer, to improve manner which produced and way available digitally. The currently attracting attention legal community, particularly question whether will lead automation replacing human interpretation law. This note briefly describes Rules Code, at least conceived legislative drafter. It argues this conception Code does not have over-reaching ambitions may sometimes appear harbour, particular trespass into removing key interpretative functions.
 
منابع مشابه
Proof-Carrying Code with Untrusted Proof Rules
Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In traditional implementations of PCC the producer negotiates beforehand, and in an unspecified way, with the consumer the permission to prove safety in whatever high-level way it chooses. In practice this has meant that highlevel rules for type safety have been hard-wired into th...
متن کاملGenetic Code as a Gray Code Revisited
In this paper we revisit the idea of relating the genetic code to a Gray code. This idea was originally fostered by Rosemary Swanson as a “unifying concept for the amino acid code”. We show that cyclic arrangements of the codons which are different from the one proposed by Swanson, but which are still based on the principle of minimal change, yield a better grouping of the amino acids by simila...
متن کاملModels from Code, or Code as Models?
Many model-driven engineering workflows take the existing code of a system as an input. Some of these include validation and verification, software modernisation or knowledge extraction. Current approaches take the code and produce a standalone model, instead of treating the code itself as a model and navigating through it on demand. For very large codebases this can be quite expensive to produ...
متن کاملStrategy as simple rules.
The success of Yahoo!, eBay, Enron, and other companies that have become adept at morphing to meet the demands of changing markets can't be explained using traditional thinking about competitive strategy. These companies have succeeded by pursuing constantly evolving strategies in market spaces that were considered unattractive according to traditional measures. In this article--the third in an...
متن کاملFrom Business Rules to Application Code: Code Generation Patterns for Rule Defined Associations
Rules that define relationships between objects are an important part of the specifications of software systems. However, support for the explicit representation of those rules in modelling languages is still immature and there is little support to assist software engineers in implementing them. The result of this practice is hand-crafted and error-prone applications. In this chapter, we analys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Law in context
سال: 2021
ISSN: ['1839-4183', '0811-5796']
DOI: https://doi.org/10.26826/law-in-context.v37i1.134